/*
 * Copyright (c) 2021
 * Gustavo Valiente gustavo.valiente@protonmail.com
 * Licensed under the Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0) license
 */

#ifndef FR_STAGE_1_EASY_BACKWARDS_RIVAL_CHECKPOINTS_H
#define FR_STAGE_1_EASY_BACKWARDS_RIVAL_CHECKPOINTS_H

#include "fr_checkpoint.h"

namespace fr
{

constexpr inline checkpoint stage_1_easy_backwards_rival_checkpoints[] = {
    checkpoint(156, 602, 3.14135),
    checkpoint(156, 605, 3.14135),
    checkpoint(156, 607, 3.14135),
    checkpoint(156, 609, 3.14135),
    checkpoint(156, 611, 3.14135),
    checkpoint(156, 613, 3.14135),
    checkpoint(156, 616, 3.14135),
    checkpoint(156, 618, 3.14135),
    checkpoint(156, 620, 3.14135),
    checkpoint(156, 622, 3.14135),
    checkpoint(156, 624, 3.14135),
    checkpoint(156, 626, 3.14135),
    checkpoint(156, 629, 3.14135),
    checkpoint(156, 631, 3.14135),
    checkpoint(156, 633, 3.14135),
    checkpoint(156, 635, 3.14135),
    checkpoint(156, 637, 3.14135),
    checkpoint(156, 640, 3.14135),
    checkpoint(156, 642, 3.14135),
    checkpoint(156, 644, 3.13989),
    checkpoint(156, 646, 3.13720),
    checkpoint(156, 648, 3.13330),
    checkpoint(156, 650, 3.12817),
    checkpoint(156, 653, 3.12207),
    checkpoint(156, 655, 3.11499),
    checkpoint(156, 657, 3.10693),
    checkpoint(156, 659, 3.09790),
    checkpoint(156, 661, 3.08789),
    checkpoint(156, 664, 3.07714),
    checkpoint(156, 666, 3.06567),
    checkpoint(156, 668, 3.05346),
    checkpoint(156, 670, 3.04052),
    checkpoint(156, 672, 3.02685),
    checkpoint(156, 674, 3.01245),
    checkpoint(156, 677, 2.99731),
    checkpoint(156, 679, 2.98168),
    checkpoint(156, 681, 2.96557),
    checkpoint(156, 683, 2.94897),
    checkpoint(156, 685, 2.93188),
    checkpoint(157, 687, 2.91430),
    checkpoint(157, 690, 2.89624),
    checkpoint(157, 692, 2.87768),
    checkpoint(157, 694, 2.85864),
    checkpoint(157, 696, 2.83911),
    checkpoint(158, 698, 2.81933),
    checkpoint(158, 700, 2.79931),
    checkpoint(158, 702, 2.77905),
    checkpoint(158, 705, 2.75854),
    checkpoint(159, 707, 2.73779),
    checkpoint(159, 709, 2.71826),
    checkpoint(160, 711, 2.69995),
    checkpoint(160, 713, 2.68261),
    checkpoint(161, 715, 2.66625),
    checkpoint(161, 717, 2.65087),
    checkpoint(162, 719, 2.63647),
    checkpoint(162, 721, 2.62280),
    checkpoint(163, 723, 2.60986),
    checkpoint(163, 725, 2.59765),
    checkpoint(164, 727, 2.58618),
    checkpoint(165, 729, 2.57543),
    checkpoint(165, 731, 2.56542),
    checkpoint(166, 733, 2.55615),
    checkpoint(167, 735, 2.54736),
    checkpoint(167, 737, 2.53906),
    checkpoint(168, 739, 2.53125),
    checkpoint(169, 741, 2.52392),
    checkpoint(170, 743, 2.51708),
    checkpoint(171, 745, 2.50927),
    checkpoint(172, 747, 2.50048),
    checkpoint(172, 749, 2.49072),
    checkpoint(173, 751, 2.48022),
    checkpoint(174, 753, 2.46899),
    checkpoint(175, 755, 2.45703),
    checkpoint(176, 757, 2.44433),
    checkpoint(177, 758, 2.43090),
    checkpoint(178, 760, 2.41674),
    checkpoint(179, 762, 2.40332),
    checkpoint(180, 764, 2.39062),
    checkpoint(182, 766, 2.37866),
    checkpoint(183, 768, 2.36743),
    checkpoint(184, 769, 2.35693),
    checkpoint(185, 771, 2.34716),
    checkpoint(186, 773, 2.33813),
    checkpoint(187, 775, 2.32958),
    checkpoint(188, 776, 2.32153),
    checkpoint(190, 778, 2.31396),
    checkpoint(191, 780, 2.30688),
    checkpoint(192, 782, 2.30029),
    checkpoint(194, 783, 2.29418),
    checkpoint(195, 785, 2.28857),
    checkpoint(196, 787, 2.28198),
    checkpoint(198, 788, 2.27441),
    checkpoint(199, 790, 2.26586),
    checkpoint(200, 791, 2.25634),
    checkpoint(202, 793, 2.24584),
    checkpoint(203, 795, 2.23461),
    checkpoint(204, 796, 2.22265),
    checkpoint(206, 798, 2.20996),
    checkpoint(207, 799, 2.19653),
    checkpoint(209, 801, 2.18237),
    checkpoint(210, 802, 2.16748),
    checkpoint(212, 804, 2.15356),
    checkpoint(213, 805, 2.14038),
    checkpoint(215, 807, 2.12792),
    checkpoint(216, 808, 2.11621),
    checkpoint(218, 810, 2.10522),
    checkpoint(220, 811, 2.09497),
    checkpoint(221, 813, 2.08544),
    checkpoint(223, 814, 2.07641),
    checkpoint(224, 815, 2.06787),
    checkpoint(226, 817, 2.05981),
    checkpoint(228, 818, 2.05224),
    checkpoint(229, 819, 2.04516),
    checkpoint(231, 821, 2.03857),
    checkpoint(233, 822, 2.03247),
    checkpoint(234, 823, 2.02685),
    checkpoint(236, 824, 2.02172),
    checkpoint(238, 826, 2.01708),
    checkpoint(240, 827, 2.01269),
    checkpoint(241, 828, 2.00854),
    checkpoint(243, 829, 2.00463),
    checkpoint(245, 830, 2.00097),
    checkpoint(247, 832, 1.99755),
    checkpoint(249, 833, 1.99438),
    checkpoint(250, 834, 1.99145),
    checkpoint(252, 835, 1.98876),
    checkpoint(254, 836, 1.98632),
    checkpoint(256, 837, 1.98413),
    checkpoint(258, 838, 1.98217),
    checkpoint(260, 839, 1.97900),
    checkpoint(261, 840, 1.97460),
    checkpoint(263, 841, 1.96899),
    checkpoint(265, 842, 1.96240),
    checkpoint(267, 843, 1.95483),
    checkpoint(269, 845, 1.94628),
    checkpoint(271, 846, 1.93676),
    checkpoint(273, 847, 1.92626),
    checkpoint(275, 847, 1.91503),
    checkpoint(277, 848, 1.90307),
    checkpoint(278, 849, 1.89038),
    checkpoint(280, 850, 1.87695),
    checkpoint(282, 851, 1.86279),
    checkpoint(284, 852, 1.84790),
    checkpoint(286, 853, 1.83398),
    checkpoint(288, 854, 1.82080),
    checkpoint(290, 855, 1.80834),
    checkpoint(292, 856, 1.79663),
    checkpoint(294, 856, 1.78564),
    checkpoint(296, 857, 1.77539),
    checkpoint(298, 858, 1.76586),
    checkpoint(300, 859, 1.75683),
    checkpoint(302, 859, 1.74682),
    checkpoint(304, 860, 1.73608),
    checkpoint(306, 861, 1.72460),
    checkpoint(308, 862, 1.71240),
    checkpoint(310, 862, 1.69946),
    checkpoint(312, 863, 1.68579),
    checkpoint(314, 863, 1.67138),
    checkpoint(316, 864, 1.65625),
    checkpoint(318, 865, 1.64062),
    checkpoint(320, 865, 1.62451),
    checkpoint(323, 866, 1.60937),
    checkpoint(325, 866, 1.59521),
    checkpoint(327, 867, 1.58178),
    checkpoint(329, 867, 1.56909),
    checkpoint(331, 868, 1.55712),
    checkpoint(333, 868, 1.54589),
    checkpoint(335, 868, 1.53540),
    checkpoint(337, 869, 1.52563),
    checkpoint(339, 869, 1.51660),
    checkpoint(341, 869, 1.50805),
    checkpoint(343, 870, 1.50000),
    checkpoint(346, 870, 1.49096),
    checkpoint(348, 870, 1.48095),
    checkpoint(350, 870, 1.47021),
    checkpoint(352, 871, 1.45874),
    checkpoint(354, 871, 1.44653),
    checkpoint(356, 871, 1.43359),
    checkpoint(358, 871, 1.41992),
    checkpoint(360, 871, 1.40551),
    checkpoint(363, 871, 1.39038),
    checkpoint(365, 871, 1.37475),
    checkpoint(367, 871, 1.35864),
    checkpoint(369, 871, 1.34204),
    checkpoint(371, 871, 1.32495),
    checkpoint(373, 871, 1.30737),
    checkpoint(375, 871, 1.28930),
    checkpoint(377, 871, 1.27075),
    checkpoint(379, 871, 1.25170),
    checkpoint(382, 871, 1.23217),
    checkpoint(384, 871, 1.21240),
    checkpoint(386, 870, 1.19384),
    checkpoint(388, 870, 1.17626),
    checkpoint(390, 870, 1.15966),
    checkpoint(392, 869, 1.14404),
    checkpoint(394, 869, 1.12939),
    checkpoint(396, 869, 1.11572),
    checkpoint(398, 868, 1.10278),
    checkpoint(400, 868, 1.09057),
    checkpoint(402, 867, 1.07910),
    checkpoint(404, 867, 1.06835),
    checkpoint(406, 866, 1.05834),
    checkpoint(408, 866, 1.04907),
    checkpoint(410, 865, 1.04028),
    checkpoint(412, 865, 1.03198),
    checkpoint(414, 864, 1.02416),
    checkpoint(416, 863, 1.01684),
    checkpoint(418, 863, 1.01000),
    checkpoint(420, 862, 1.00366),
    checkpoint(422, 861, 0.99780),
    checkpoint(424, 861, 0.99243),
    checkpoint(426, 860, 0.98754),
    checkpoint(428, 859, 0.98461),
    checkpoint(430, 858, 0.98339),
    checkpoint(432, 857, 0.98388),
    checkpoint(434, 856, 0.98559),
    checkpoint(436, 856, 0.98852),
    checkpoint(438, 855, 0.99267),
    checkpoint(440, 854, 0.99804),
    checkpoint(442, 853, 1.00439),
    checkpoint(444, 852, 1.01171),
    checkpoint(446, 851, 1.02001),
    checkpoint(447, 850, 1.02929),
    checkpoint(449, 849, 1.03955),
    checkpoint(451, 848, 1.05053),
    checkpoint(453, 847, 1.06225),
    checkpoint(455, 846, 1.07470),
    checkpoint(457, 845, 1.08789),
    checkpoint(459, 844, 1.10180),
    checkpoint(461, 843, 1.11645),
    checkpoint(463, 842, 1.13159),
    checkpoint(465, 841, 1.14721),
    checkpoint(466, 840, 1.16333),
    checkpoint(468, 839, 1.17993),
    checkpoint(470, 839, 1.19702),
    checkpoint(472, 838, 1.21459),
    checkpoint(474, 837, 1.23266),
    checkpoint(476, 836, 1.25122),
    checkpoint(478, 835, 1.27026),
    checkpoint(480, 834, 1.28979),
    checkpoint(482, 833, 1.30957),
    checkpoint(484, 832, 1.32958),
    checkpoint(486, 831, 1.34985),
    checkpoint(488, 831, 1.37036),
    checkpoint(490, 830, 1.39111),
    checkpoint(492, 829, 1.41210),
    checkpoint(494, 828, 1.43334),
    checkpoint(496, 828, 1.45483),
    checkpoint(498, 827, 1.47656),
    checkpoint(500, 826, 1.49707),
    checkpoint(502, 826, 1.51635),
    checkpoint(504, 825, 1.53466),
    checkpoint(506, 824, 1.55200),
    checkpoint(508, 824, 1.56835),
    checkpoint(510, 823, 1.58374),
    checkpoint(512, 823, 1.59814),
    checkpoint(514, 822, 1.61181),
    checkpoint(516, 822, 1.62475),
    checkpoint(518, 822, 1.63696),
    checkpoint(520, 821, 1.64843),
    checkpoint(523, 821, 1.65917),
    checkpoint(525, 821, 1.66918),
    checkpoint(527, 820, 1.67846),
    checkpoint(529, 820, 1.68725),
    checkpoint(531, 820, 1.69555),
    checkpoint(533, 820, 1.70336),
    checkpoint(535, 819, 1.71069),
    checkpoint(537, 819, 1.71752),
    checkpoint(539, 819, 1.72387),
    checkpoint(541, 819, 1.72973),
    checkpoint(544, 819, 1.73510),
    checkpoint(546, 819, 1.74145),
    checkpoint(548, 819, 1.74877),
    checkpoint(550, 819, 1.75708),
    checkpoint(552, 819, 1.76635),
    checkpoint(554, 819, 1.77661),
    checkpoint(556, 819, 1.78759),
    checkpoint(558, 819, 1.79931),
    checkpoint(560, 819, 1.81176),
    checkpoint(563, 819, 1.82495),
    checkpoint(565, 819, 1.83886),
    checkpoint(567, 819, 1.85205),
    checkpoint(569, 820, 1.86450),
    checkpoint(571, 820, 1.87622),
    checkpoint(573, 820, 1.88720),
    checkpoint(575, 820, 1.89746),
    checkpoint(577, 821, 1.90698),
    checkpoint(579, 821, 1.91601),
    checkpoint(581, 821, 1.92456),
    checkpoint(584, 822, 1.93261),
    checkpoint(586, 822, 1.94018),
    checkpoint(588, 822, 1.94726),
    checkpoint(590, 823, 1.95385),
    checkpoint(592, 823, 1.95996),
    checkpoint(594, 824, 1.96557),
    checkpoint(596, 824, 1.97070),
    checkpoint(598, 825, 1.97534),
    checkpoint(600, 825, 1.97973),
    checkpoint(602, 826, 1.98388),
    checkpoint(604, 826, 1.98779),
    checkpoint(606, 827, 1.99145),
    checkpoint(608, 827, 1.99487),
    checkpoint(610, 828, 1.99804),
    checkpoint(612, 828, 2.00097),
    checkpoint(615, 829, 2.00366),
    checkpoint(617, 830, 2.00610),
    checkpoint(619, 830, 2.00830),
    checkpoint(621, 831, 2.01025),
    checkpoint(623, 832, 2.01196),
    checkpoint(625, 832, 2.01342),
    checkpoint(627, 833, 2.01318),
    checkpoint(629, 834, 2.01171),
    checkpoint(631, 835, 2.00903),
    checkpoint(633, 835, 2.00512),
    checkpoint(635, 836, 2),
    checkpoint(637, 837, 1.99389),
    checkpoint(639, 838, 1.98681),
    checkpoint(641, 838, 1.97875),
    checkpoint(643, 839, 1.96972),
    checkpoint(645, 840, 1.95971),
    checkpoint(647, 841, 1.94897),
    checkpoint(649, 841, 1.93750),
    checkpoint(651, 842, 1.92529),
    checkpoint(653, 843, 1.91235),
    checkpoint(655, 844, 1.89868),
    checkpoint(657, 844, 1.88427),
    checkpoint(659, 845, 1.86914),
    checkpoint(661, 846, 1.85351),
    checkpoint(663, 847, 1.83740),
    checkpoint(665, 847, 1.82226),
    checkpoint(667, 848, 1.80810),
    checkpoint(669, 849, 1.79467),
    checkpoint(671, 850, 1.78198),
    checkpoint(673, 850, 1.77001),
    checkpoint(675, 851, 1.75878),
    checkpoint(677, 852, 1.74829),
    checkpoint(679, 852, 1.73852),
    checkpoint(681, 853, 1.72949),
    checkpoint(684, 853, 1.72094),
    checkpoint(686, 854, 1.71289),
    checkpoint(688, 855, 1.70532),
    checkpoint(690, 855, 1.69824),
    checkpoint(692, 856, 1.69165),
    checkpoint(694, 856, 1.68554),
    checkpoint(696, 857, 1.67993),
    checkpoint(698, 857, 1.67480),
    checkpoint(700, 858, 1.67016),
    checkpoint(702, 858, 1.66577),
    checkpoint(704, 859, 1.66015),
    checkpoint(707, 859, 1.65356),
    checkpoint(709, 859, 1.64599),
    checkpoint(711, 860, 1.63745),
    checkpoint(713, 860, 1.62792),
    checkpoint(715, 861, 1.61743),
    checkpoint(717, 861, 1.60620),
    checkpoint(719, 861, 1.59423),
    checkpoint(721, 862, 1.58154),
    checkpoint(723, 862, 1.56811),
    checkpoint(726, 862, 1.55395),
    checkpoint(728, 863, 1.53906),
    checkpoint(730, 863, 1.52368),
    checkpoint(732, 863, 1.50781),
    checkpoint(734, 863, 1.49145),
    checkpoint(736, 864, 1.47460),
    checkpoint(738, 864, 1.45727),
    checkpoint(741, 864, 1.43945),
    checkpoint(743, 864, 1.42114),
    checkpoint(745, 864, 1.40234),
    checkpoint(747, 864, 1.38305),
    checkpoint(749, 864, 1.36328),
    checkpoint(751, 864, 1.34326),
    checkpoint(753, 864, 1.32299),
    checkpoint(756, 864, 1.30249),
    checkpoint(758, 864, 1.28173),
    checkpoint(760, 864, 1.26074),
    checkpoint(762, 864, 1.23950),
    checkpoint(764, 864, 1.21801),
    checkpoint(766, 864, 1.19628),
    checkpoint(768, 863, 1.17431),
    checkpoint(770, 863, 1.15209),
    checkpoint(772, 863, 1.12963),
    checkpoint(774, 863, 1.10839),
    checkpoint(777, 862, 1.08837),
    checkpoint(779, 862, 1.06958),
    checkpoint(781, 862, 1.05175),
    checkpoint(783, 861, 1.03491),
    checkpoint(785, 861, 1.01904),
    checkpoint(787, 860, 1.00415),
    checkpoint(789, 859, 0.98876),
    checkpoint(791, 859, 0.97290),
    checkpoint(793, 858, 0.95654),
    checkpoint(795, 858, 0.93969),
    checkpoint(797, 857, 0.92236),
    checkpoint(799, 856, 0.90454),
    checkpoint(801, 856, 0.88623),
    checkpoint(802, 855, 0.86743),
    checkpoint(804, 854, 0.84814),
    checkpoint(806, 853, 0.82836),
    checkpoint(808, 852, 0.80834),
    checkpoint(810, 851, 0.78808),
    checkpoint(812, 850, 0.76757),
    checkpoint(814, 849, 0.74682),
    checkpoint(815, 848, 0.72583),
    checkpoint(817, 847, 0.70458),
    checkpoint(819, 846, 0.68310),
    checkpoint(821, 845, 0.66137),
    checkpoint(822, 844, 0.63940),
    checkpoint(824, 843, 0.61718),
    checkpoint(826, 842, 0.59472),
    checkpoint(827, 840, 0.57202),
    checkpoint(829, 839, 0.54907),
    checkpoint(831, 838, 0.52587),
    checkpoint(832, 837, 0.50390),
    checkpoint(834, 835, 0.48315),
    checkpoint(835, 834, 0.46362),
    checkpoint(837, 832, 0.44531),
    checkpoint(838, 831, 0.42797),
    checkpoint(840, 830, 0.41162),
    checkpoint(841, 828, 0.39624),
    checkpoint(842, 827, 0.38037),
    checkpoint(844, 825, 0.36401),
    checkpoint(845, 823, 0.34716),
    checkpoint(846, 822, 0.32983),
    checkpoint(847, 820, 0.31201),
    checkpoint(849, 819, 0.29370),
    checkpoint(850, 817, 0.27636),
    checkpoint(851, 815, 0.26000),
    checkpoint(852, 814, 0.24462),
    checkpoint(853, 812, 0.23022),
    checkpoint(854, 810, 0.21655),
    checkpoint(855, 808, 0.20361),
    checkpoint(856, 807, 0.19140),
    checkpoint(857, 805, 0.17993),
    checkpoint(858, 803, 0.16918),
    checkpoint(859, 801, 0.15917),
    checkpoint(860, 799, 0.14990),
    checkpoint(861, 798, 0.14111),
    checkpoint(861, 796, 0.13281),
    checkpoint(862, 794, 0.12500),
    checkpoint(863, 792, 0.11767),
    checkpoint(864, 790, 0.11083),
    checkpoint(864, 788, 0.10302),
    checkpoint(865, 786, 0.09423),
    checkpoint(866, 784, 0.08447),
    checkpoint(866, 782, 0.07397),
    checkpoint(867, 780, 0.06274),
    checkpoint(868, 778, 0.05078),
    checkpoint(868, 776, 0.03808),
    checkpoint(869, 774, 0.02465),
    checkpoint(869, 772, 0.01049),
    checkpoint(870, 770, 6.27856),
    checkpoint(870, 768, 6.26318),
    checkpoint(871, 766, 6.24731),
    checkpoint(871, 764, 6.23095),
    checkpoint(871, 762, 6.21411),
    checkpoint(872, 760, 6.19677),
    checkpoint(872, 758, 6.17895),
    checkpoint(872, 756, 6.16064),
    checkpoint(873, 754, 6.14184),
    checkpoint(873, 752, 6.12255),
    checkpoint(873, 750, 6.10278),
    checkpoint(873, 748, 6.08276),
    checkpoint(873, 746, 6.06250),
    checkpoint(873, 744, 6.04199),
    checkpoint(873, 741, 6.02124),
    checkpoint(873, 739, 6.00024),
    checkpoint(873, 737, 5.97900),
    checkpoint(873, 735, 5.95751),
    checkpoint(873, 733, 5.93579),
    checkpoint(873, 731, 5.91381),
    checkpoint(873, 729, 5.89160),
    checkpoint(873, 727, 5.86914),
    checkpoint(873, 725, 5.84643),
    checkpoint(872, 723, 5.82348),
    checkpoint(872, 721, 5.80029),
    checkpoint(872, 719, 5.77685),
    checkpoint(872, 717, 5.75317),
    checkpoint(871, 715, 5.73071),
    checkpoint(871, 713, 5.70947),
    checkpoint(870, 711, 5.68945),
    checkpoint(870, 709, 5.67065),
    checkpoint(869, 707, 5.65283),
    checkpoint(869, 705, 5.63598),
    checkpoint(868, 703, 5.62011),
    checkpoint(867, 701, 5.60522),
    checkpoint(867, 699, 5.59130),
    checkpoint(866, 697, 5.57812),
    checkpoint(865, 695, 5.56567),
    checkpoint(864, 693, 5.55395),
    checkpoint(863, 692, 5.54296),
    checkpoint(863, 690, 5.53271),
    checkpoint(862, 688, 5.52319),
    checkpoint(861, 686, 5.51269),
    checkpoint(860, 684, 5.50146),
    checkpoint(859, 683, 5.48950),
    checkpoint(858, 681, 5.47680),
    checkpoint(857, 679, 5.46337),
    checkpoint(856, 677, 5.44921),
    checkpoint(855, 675, 5.43432),
    checkpoint(853, 674, 5.41894),
    checkpoint(852, 672, 5.40307),
    checkpoint(851, 670, 5.38671),
    checkpoint(850, 669, 5.36987),
    checkpoint(849, 667, 5.35253),
    checkpoint(847, 665, 5.33471),
    checkpoint(846, 664, 5.31640),
    checkpoint(845, 662, 5.29760),
    checkpoint(843, 661, 5.27832),
    checkpoint(842, 659, 5.25854),
    checkpoint(841, 658, 5.23852),
    checkpoint(839, 656, 5.21826),
    checkpoint(838, 655, 5.19775),
    checkpoint(836, 653, 5.17700),
    checkpoint(835, 652, 5.15600),
    checkpoint(833, 650, 5.13476),
    checkpoint(832, 649, 5.11328),
    checkpoint(830, 648, 5.09155),
    checkpoint(829, 646, 5.06958),
    checkpoint(827, 645, 5.04736),
    checkpoint(825, 644, 5.02490),
    checkpoint(824, 643, 5.00219),
    checkpoint(822, 642, 4.97924),
    checkpoint(820, 640, 4.95605),
    checkpoint(819, 639, 4.93261),
    checkpoint(817, 638, 4.90893),
    checkpoint(815, 637, 4.88647),
    checkpoint(813, 636, 4.86523),
    checkpoint(812, 635, 4.84521),
    checkpoint(810, 634, 4.82641),
    checkpoint(808, 633, 4.80859),
    checkpoint(806, 633, 4.79174),
    checkpoint(804, 632, 4.77587),
    checkpoint(803, 631, 4.76098),
    checkpoint(801, 630, 4.74707),
    checkpoint(799, 629, 4.73388),
    checkpoint(797, 629, 4.72143),
    checkpoint(795, 628, 4.70971),
    checkpoint(793, 627, 4.69873),
    checkpoint(791, 627, 4.68847),
    checkpoint(789, 626, 4.67895),
    checkpoint(787, 626, 4.66992),
    checkpoint(785, 625, 4.66137),
    checkpoint(783, 625, 4.65332),
    checkpoint(781, 624, 4.64575),
    checkpoint(779, 624, 4.63720),
    checkpoint(777, 624, 4.62768),
    checkpoint(775, 623, 4.61718),
    checkpoint(773, 623, 4.60595),
    checkpoint(771, 623, 4.59399),
    checkpoint(769, 623, 4.58129),
    checkpoint(767, 622, 4.56787),
    checkpoint(765, 622, 4.55371),
    checkpoint(763, 622, 4.53881),
    checkpoint(761, 622, 4.52343),
    checkpoint(759, 622, 4.50903),
    checkpoint(757, 622, 4.49536),
    checkpoint(755, 622, 4.48242),
    checkpoint(752, 622, 4.47021),
    checkpoint(750, 622, 4.45874),
    checkpoint(748, 622, 4.44799),
    checkpoint(746, 622, 4.43798),
    checkpoint(744, 622, 4.42871),
    checkpoint(742, 622, 4.41992),
    checkpoint(740, 622, 4.41162),
    checkpoint(738, 622, 4.40380),
    checkpoint(736, 622, 4.39648),
    checkpoint(734, 623, 4.38964),
    checkpoint(732, 623, 4.38330),
    checkpoint(730, 623, 4.37744),
    checkpoint(728, 623, 4.37207),
    checkpoint(726, 624, 4.36718),
    checkpoint(723, 624, 4.36279),
    checkpoint(721, 624, 4.35864),
    checkpoint(719, 625, 4.35473),
    checkpoint(717, 625, 4.35107),
    checkpoint(715, 626, 4.34765),
    checkpoint(713, 626, 4.34448),
    checkpoint(711, 626, 4.34155),
    checkpoint(709, 627, 4.33886),
    checkpoint(707, 627, 4.33642),
    checkpoint(705, 628, 4.33422),
    checkpoint(703, 628, 4.33227),
    checkpoint(701, 629, 4.33056),
    checkpoint(699, 629, 4.32910),
    checkpoint(697, 630, 4.32788),
    checkpoint(695, 631, 4.32690),
    checkpoint(693, 631, 4.32617),
    checkpoint(691, 632, 4.32568),
    checkpoint(689, 632, 4.32690),
    checkpoint(686, 633, 4.32934),
    checkpoint(684, 634, 4.33300),
    checkpoint(682, 634, 4.33789),
    checkpoint(680, 635, 4.34375),
    checkpoint(678, 636, 4.35058),
    checkpoint(676, 636, 4.35839),
    checkpoint(674, 637, 4.36718),
    checkpoint(672, 637, 4.37548),
    checkpoint(670, 638, 4.38330),
    checkpoint(668, 639, 4.39062),
    checkpoint(666, 639, 4.39746),
    checkpoint(664, 640, 4.40380),
    checkpoint(662, 641, 4.40966),
    checkpoint(660, 641, 4.41503),
    checkpoint(658, 642, 4.41992),
    checkpoint(656, 643, 4.42431),
    checkpoint(654, 643, 4.42846),
    checkpoint(652, 644, 4.43237),
    checkpoint(650, 645, 4.43603),
    checkpoint(648, 645, 4.43945),
    checkpoint(645, 646, 4.44262),
    checkpoint(643, 647, 4.44555),
    checkpoint(641, 647, 4.44970),
    checkpoint(639, 648, 4.45507),
    checkpoint(637, 649, 4.46142),
    checkpoint(635, 649, 4.46875),
    checkpoint(633, 650, 4.47705),
    checkpoint(631, 650, 4.48632),
    checkpoint(629, 651, 4.49658),
    checkpoint(627, 652, 4.50756),
    checkpoint(625, 652, 4.51928),
    checkpoint(623, 653, 4.53173),
    checkpoint(621, 653, 4.54492),
    checkpoint(618, 654, 4.55883),
    checkpoint(616, 654, 4.57348),
    checkpoint(614, 655, 4.58862),
    checkpoint(612, 655, 4.60278),
    checkpoint(610, 656, 4.61621),
    checkpoint(608, 656, 4.62890),
    checkpoint(606, 657, 4.64086),
    checkpoint(604, 657, 4.65209),
    checkpoint(602, 658, 4.66259),
    checkpoint(599, 658, 4.67236),
    checkpoint(597, 659, 4.68139),
    checkpoint(595, 659, 4.68994),
    checkpoint(593, 659, 4.69799),
    checkpoint(591, 660, 4.70556),
    checkpoint(589, 660, 4.71264),
    checkpoint(587, 660, 4.71923),
    checkpoint(585, 661, 4.72534),
    checkpoint(582, 661, 4.73095),
    checkpoint(580, 661, 4.73608),
    checkpoint(578, 661, 4.74072),
    checkpoint(576, 662, 4.74511),
    checkpoint(574, 662, 4.74926),
    checkpoint(572, 662, 4.75317),
    checkpoint(570, 662, 4.75683),
    checkpoint(567, 662, 4.76025),
    checkpoint(565, 662, 4.76342),
    checkpoint(563, 663, 4.76635),
    checkpoint(561, 663, 4.76904),
    checkpoint(559, 663, 4.77148),
    checkpoint(557, 663, 4.77368),
    checkpoint(555, 663, 4.77563),
    checkpoint(552, 663, 4.77734),
    checkpoint(550, 663, 4.77880),
    checkpoint(548, 663, 4.78002),
    checkpoint(546, 663, 4.78247),
    checkpoint(544, 663, 4.78613),
    checkpoint(542, 663, 4.79101),
    checkpoint(539, 663, 4.79687),
    checkpoint(537, 663, 4.80371),
    checkpoint(535, 663, 4.81152),
    checkpoint(533, 663, 4.82031),
    checkpoint(531, 663, 4.83007),
    checkpoint(529, 663, 4.84057),
    checkpoint(526, 663, 4.85180),
    checkpoint(524, 663, 4.86376),
    checkpoint(522, 663, 4.87646),
    checkpoint(520, 663, 4.88989),
    checkpoint(518, 663, 4.90258),
    checkpoint(516, 663, 4.91455),
    checkpoint(513, 663, 4.92724),
    checkpoint(511, 662, 4.94067),
    checkpoint(509, 662, 4.95483),
    checkpoint(507, 662, 4.96972),
    checkpoint(505, 662, 4.98510),
    checkpoint(503, 662, 5.00097),
    checkpoint(501, 661, 5.01733),
    checkpoint(498, 661, 5.03417),
    checkpoint(496, 661, 5.05151),
    checkpoint(494, 660, 5.06933),
    checkpoint(492, 660, 5.08764),
    checkpoint(490, 660, 5.10644),
    checkpoint(488, 659, 5.12426),
    checkpoint(486, 659, 5.14111),
    checkpoint(484, 658, 5.15698),
    checkpoint(482, 658, 5.17187),
    checkpoint(480, 657, 5.18579),
    checkpoint(477, 657, 5.19897),
    checkpoint(475, 656, 5.21142),
    checkpoint(473, 656, 5.22314),
    checkpoint(471, 655, 5.23413),
    checkpoint(469, 655, 5.24438),
    checkpoint(467, 654, 5.25390),
    checkpoint(465, 653, 5.26293),
    checkpoint(463, 653, 5.27148),
    checkpoint(461, 652, 5.27954),
    checkpoint(459, 651, 5.28710),
    checkpoint(457, 650, 5.29418),
    checkpoint(455, 649, 5.30078),
    checkpoint(453, 649, 5.30688),
    checkpoint(451, 648, 5.31250),
    checkpoint(449, 647, 5.31762),
    checkpoint(447, 646, 5.32226),
    checkpoint(446, 645, 5.32666),
    checkpoint(444, 644, 5.33081),
    checkpoint(442, 643, 5.33471),
    checkpoint(440, 642, 5.33837),
    checkpoint(438, 641, 5.34179),
    checkpoint(436, 641, 5.34497),
    checkpoint(434, 640, 5.34790),
    checkpoint(432, 639, 5.35058),
    checkpoint(430, 637, 5.35302),
    checkpoint(428, 636, 5.35522),
    checkpoint(427, 635, 5.35717),
    checkpoint(425, 634, 5.35888),
    checkpoint(423, 633, 5.36035),
    checkpoint(421, 632, 5.36157),
    checkpoint(419, 631, 5.36254),
    checkpoint(417, 630, 5.36328),
    checkpoint(416, 629, 5.36376),
    checkpoint(414, 628, 5.36547),
    checkpoint(412, 627, 5.36840),
    checkpoint(410, 625, 5.37255),
    checkpoint(408, 624, 5.37792),
    checkpoint(406, 623, 5.38427),
    checkpoint(405, 622, 5.39160),
    checkpoint(403, 621, 5.39990),
    checkpoint(401, 619, 5.40917),
    checkpoint(399, 618, 5.41943),
    checkpoint(398, 617, 5.43041),
    checkpoint(396, 616, 5.44213),
    checkpoint(394, 615, 5.45458),
    checkpoint(392, 613, 5.46777),
    checkpoint(391, 612, 5.48168),
    checkpoint(389, 611, 5.49633),
    checkpoint(387, 609, 5.51147),
    checkpoint(385, 608, 5.52709),
    checkpoint(384, 607, 5.54321),
    checkpoint(382, 606, 5.55981),
    checkpoint(380, 604, 5.57690),
    checkpoint(379, 603, 5.59448),
    checkpoint(377, 601, 5.61254),
    checkpoint(375, 600, 5.63110),
    checkpoint(374, 599, 5.65014),
    checkpoint(372, 597, 5.66967),
    checkpoint(371, 596, 5.68945),
    checkpoint(369, 594, 5.70947),
    checkpoint(368, 593, 5.72973),
    checkpoint(366, 591, 5.75024),
    checkpoint(365, 590, 5.77099),
    checkpoint(363, 588, 5.79199),
    checkpoint(362, 587, 5.81323),
    checkpoint(360, 585, 5.83471),
    checkpoint(359, 583, 5.85644),
    checkpoint(358, 582, 5.87841),
    checkpoint(356, 580, 5.90063),
    checkpoint(355, 578, 5.92309),
    checkpoint(354, 577, 5.94580),
    checkpoint(353, 575, 5.96875),
    checkpoint(351, 573, 5.99194),
    checkpoint(350, 572, 6.01538),
    checkpoint(349, 570, 6.03906),
    checkpoint(348, 568, 6.06298),
    checkpoint(347, 566, 6.08715),
    checkpoint(346, 565, 6.11010),
    checkpoint(345, 563, 6.13183),
    checkpoint(344, 561, 6.15234),
    checkpoint(343, 559, 6.17163),
    checkpoint(342, 557, 6.18994),
    checkpoint(341, 555, 6.20727),
    checkpoint(340, 553, 6.22363),
    checkpoint(340, 552, 6.23901),
    checkpoint(339, 550, 6.25341),
    checkpoint(338, 548, 6.26708),
    checkpoint(337, 546, 6.28002),
    checkpoint(337, 544, 0.00927),
    checkpoint(336, 542, 0.02075),
    checkpoint(336, 540, 0.03295),
    checkpoint(335, 538, 0.04589),
    checkpoint(335, 536, 0.05957),
    checkpoint(334, 534, 0.07397),
    checkpoint(334, 532, 0.08911),
    checkpoint(333, 530, 0.10473),
    checkpoint(333, 528, 0.12084),
    checkpoint(333, 526, 0.13745),
    checkpoint(332, 524, 0.15454),
    checkpoint(332, 522, 0.17211),
    checkpoint(332, 520, 0.19018),
    checkpoint(332, 518, 0.20874),
    checkpoint(331, 516, 0.22778),
    checkpoint(331, 514, 0.24731),
    checkpoint(331, 512, 0.26708),
    checkpoint(331, 509, 0.28710),
    checkpoint(331, 507, 0.30737),
    checkpoint(331, 505, 0.32788),
    checkpoint(331, 503, 0.34863),
    checkpoint(331, 501, 0.36962),
    checkpoint(331, 499, 0.39086),
    checkpoint(331, 497, 0.41235),
    checkpoint(332, 495, 0.43408),
    checkpoint(332, 493, 0.45605),
    checkpoint(332, 491, 0.47827),
    checkpoint(332, 489, 0.50073),
    checkpoint(333, 487, 0.52343),
    checkpoint(333, 485, 0.54638),
    checkpoint(334, 483, 0.56958),
    checkpoint(334, 481, 0.59301),
    checkpoint(335, 479, 0.61669),
    checkpoint(335, 477, 0.64062),
    checkpoint(336, 475, 0.66479),
    checkpoint(336, 473, 0.68920),
    checkpoint(337, 471, 0.71362),
    checkpoint(338, 469, 0.73803),
    checkpoint(338, 468, 0.76245),
    checkpoint(339, 466, 0.78686),
    checkpoint(340, 464, 0.81127),
    checkpoint(341, 462, 0.83569),
    checkpoint(342, 460, 0.86010),
    checkpoint(343, 458, 0.88452),
    checkpoint(344, 457, 0.90893),
    checkpoint(345, 455, 0.93334),
    checkpoint(346, 453, 0.95776),
    checkpoint(347, 452, 0.98217),
    checkpoint(348, 450, 1.00659),
    checkpoint(349, 448, 1.03100),
    checkpoint(350, 447, 1.05541),
    checkpoint(351, 445, 1.07983),
    checkpoint(353, 444, 1.10278),
    checkpoint(354, 442, 1.12451),
    checkpoint(355, 441, 1.14501),
    checkpoint(357, 439, 1.16430),
    checkpoint(358, 438, 1.18261),
    checkpoint(359, 436, 1.19995),
    checkpoint(361, 435, 1.21630),
    checkpoint(362, 434, 1.23168),
    checkpoint(364, 432, 1.24609),
    checkpoint(365, 431, 1.25976),
    checkpoint(367, 430, 1.27270),
    checkpoint(369, 429, 1.28491),
    checkpoint(370, 428, 1.29638),
    checkpoint(372, 426, 1.30712),
    checkpoint(374, 425, 1.31713),
    checkpoint(375, 424, 1.32641),
    checkpoint(377, 423, 1.33520),
    checkpoint(379, 422, 1.34350),
    checkpoint(380, 421, 1.35131),
    checkpoint(382, 420, 1.35864),
    checkpoint(384, 419, 1.36547),
    checkpoint(386, 418, 1.37182),
    checkpoint(388, 418, 1.37768),
    checkpoint(389, 417, 1.38305),
    checkpoint(391, 416, 1.38793),
    checkpoint(393, 415, 1.39233),
    checkpoint(395, 414, 1.39648),
    checkpoint(397, 413, 1.40039),
    checkpoint(399, 413, 1.40405),
    checkpoint(401, 412, 1.40747),
    checkpoint(403, 411, 1.41064),
    checkpoint(405, 411, 1.41357),
    checkpoint(407, 410, 1.41625),
    checkpoint(408, 409, 1.41870),
    checkpoint(410, 409, 1.42089),
    checkpoint(412, 408, 1.42285),
    checkpoint(414, 407, 1.42456),
    checkpoint(416, 407, 1.42602),
    checkpoint(418, 406, 1.42724),
    checkpoint(420, 406, 1.42822),
    checkpoint(422, 405, 1.42895),
    checkpoint(425, 405, 1.42944),
    checkpoint(427, 404, 1.42968),
    checkpoint(429, 403, 1.42968),
    checkpoint(431, 403, 1.42968),
    checkpoint(433, 402, 1.42968),
    checkpoint(435, 402, 1.42968),
    checkpoint(437, 402, 1.42968),
    checkpoint(439, 401, 1.42968),
    checkpoint(441, 401, 1.43115),
    checkpoint(443, 400, 1.43383),
    checkpoint(445, 400, 1.43774),
    checkpoint(447, 399, 1.44287),
    checkpoint(449, 399, 1.44897),
    checkpoint(451, 398, 1.45605),
    checkpoint(453, 398, 1.46411),
    checkpoint(456, 398, 1.47314),
    checkpoint(458, 397, 1.48315),
    checkpoint(460, 397, 1.49389),
    checkpoint(462, 396, 1.50537),
    checkpoint(464, 396, 1.51757),
    checkpoint(466, 396, 1.53051),
    checkpoint(468, 395, 1.54418),
    checkpoint(470, 395, 1.55859),
    checkpoint(473, 395, 1.57373),
    checkpoint(475, 395, 1.58935),
    checkpoint(477, 394, 1.60546),
    checkpoint(479, 394, 1.62207),
    checkpoint(481, 394, 1.63916),
    checkpoint(483, 394, 1.65673),
    checkpoint(485, 393, 1.67480),
    checkpoint(487, 393, 1.69335),
    checkpoint(490, 393, 1.71240),
    checkpoint(492, 393, 1.73193),
    checkpoint(494, 393, 1.75170),
    checkpoint(496, 393, 1.77172),
    checkpoint(498, 393, 1.79199),
    checkpoint(500, 393, 1.81250),
    checkpoint(502, 393, 1.83325),
    checkpoint(504, 393, 1.85424),
    checkpoint(507, 393, 1.87548),
    checkpoint(509, 393, 1.89697),
    checkpoint(511, 393, 1.91870),
    checkpoint(513, 393, 1.94067),
    checkpoint(515, 394, 1.96289),
    checkpoint(517, 394, 1.98535),
    checkpoint(519, 394, 2.00805),
    checkpoint(521, 395, 2.03100),
    checkpoint(523, 395, 2.05273),
    checkpoint(525, 395, 2.07324),
    checkpoint(527, 396, 2.09252),
    checkpoint(529, 396, 2.11083),
    checkpoint(531, 397, 2.12817),
    checkpoint(533, 397, 2.14453),
    checkpoint(535, 398, 2.15991),
    checkpoint(537, 398, 2.17431),
    checkpoint(539, 399, 2.18798),
    checkpoint(541, 399, 2.20092),
    checkpoint(543, 400, 2.21313),
    checkpoint(545, 401, 2.22460),
    checkpoint(547, 402, 2.23535),
    checkpoint(549, 402, 2.24536),
    checkpoint(551, 403, 2.25463),
    checkpoint(553, 404, 2.26342),
    checkpoint(555, 405, 2.27172),
    checkpoint(557, 406, 2.27954),
    checkpoint(559, 407, 2.28686),
    checkpoint(561, 408, 2.29370),
    checkpoint(562, 409, 2.30004),
    checkpoint(564, 410, 2.30590),
    checkpoint(566, 411, 2.31127),
    checkpoint(568, 412, 2.31616),
    checkpoint(570, 413, 2.32055),
    checkpoint(571, 414, 2.32470),
    checkpoint(573, 415, 2.32861),
    checkpoint(575, 416, 2.33227),
    checkpoint(577, 417, 2.33569),
    checkpoint(578, 418, 2.33886),
    checkpoint(580, 420, 2.34179),
    checkpoint(582, 421, 2.34448),
    checkpoint(584, 422, 2.34692),
    checkpoint(585, 423, 2.34912),
    checkpoint(587, 424, 2.35107),
    checkpoint(589, 426, 2.35278),
    checkpoint(590, 427, 2.35424),
    checkpoint(592, 428, 2.35546),
    checkpoint(594, 430, 2.35644),
    checkpoint(595, 431, 2.35717),
    checkpoint(597, 432, 2.35620),
    checkpoint(599, 434, 2.35400),
    checkpoint(600, 435, 2.35058),
    checkpoint(602, 436, 2.34594),
    checkpoint(604, 438, 2.34008),
    checkpoint(605, 439, 2.33325),
    checkpoint(607, 440, 2.32543),
    checkpoint(609, 442, 2.31665),
    checkpoint(610, 443, 2.30688),
    checkpoint(612, 444, 2.29638),
    checkpoint(614, 446, 2.28515),
    checkpoint(615, 447, 2.27319),
    checkpoint(617, 449, 2.26049),
    checkpoint(618, 450, 2.24707),
    checkpoint(620, 451, 2.23291),
    checkpoint(622, 453, 2.21801),
    checkpoint(623, 454, 2.20263),
    checkpoint(625, 456, 2.18676),
    checkpoint(627, 457, 2.17187),
    checkpoint(628, 458, 2.15795),
    checkpoint(630, 460, 2.14477),
    checkpoint(632, 461, 2.13232),
    checkpoint(633, 462, 2.12060),
    checkpoint(635, 464, 2.10961),
    checkpoint(637, 465, 2.09936),
    checkpoint(639, 466, 2.08984),
    checkpoint(640, 467, 2.08081),
    checkpoint(642, 469, 2.07226),
    checkpoint(644, 470, 2.06420),
    checkpoint(646, 471, 2.05517),
    checkpoint(647, 472, 2.04516),
    checkpoint(649, 474, 2.03442),
    checkpoint(651, 475, 2.02294),
    checkpoint(653, 476, 2.01074),
    checkpoint(654, 477, 1.99780),
    checkpoint(656, 478, 1.98413),
    checkpoint(658, 480, 1.96972),
    checkpoint(660, 481, 1.95458),
    checkpoint(662, 482, 1.93896),
    checkpoint(664, 483, 1.92285),
    checkpoint(665, 484, 1.90625),
    checkpoint(667, 485, 1.88916),
    checkpoint(669, 486, 1.87158),
    checkpoint(671, 487, 1.85351),
    checkpoint(673, 488, 1.83496),
    checkpoint(675, 489, 1.81591),
    checkpoint(677, 490, 1.79638),
    checkpoint(679, 491, 1.77661),
    checkpoint(681, 492, 1.75659),
    checkpoint(683, 493, 1.73632),
    checkpoint(685, 493, 1.71582),
    checkpoint(686, 494, 1.69506),
    checkpoint(688, 495, 1.67407),
    checkpoint(690, 496, 1.65283),
    checkpoint(692, 496, 1.63134),
    checkpoint(694, 497, 1.60961),
    checkpoint(696, 498, 1.58764),
    checkpoint(698, 498, 1.56542),
    checkpoint(700, 499, 1.54296),
    checkpoint(702, 500, 1.52026),
    checkpoint(705, 500, 1.49731),
    checkpoint(707, 501, 1.47412),
    checkpoint(709, 501, 1.45068),
    checkpoint(711, 501, 1.42700),
    checkpoint(713, 502, 1.40307),
    checkpoint(715, 502, 1.37890),
    checkpoint(717, 502, 1.35595),
    checkpoint(719, 503, 1.33422),
    checkpoint(721, 503, 1.31372),
    checkpoint(723, 503, 1.29443),
    checkpoint(725, 503, 1.27612),
    checkpoint(727, 503, 1.25878),
    checkpoint(729, 503, 1.24243),
    checkpoint(731, 503, 1.22705),
    checkpoint(733, 503, 1.21264),
    checkpoint(735, 503, 1.19750),
    checkpoint(737, 503, 1.18188),
    checkpoint(739, 503, 1.16577),
    checkpoint(741, 503, 1.14916),
    checkpoint(743, 502, 1.13208),
    checkpoint(746, 502, 1.11450),
    checkpoint(748, 502, 1.09643),
    checkpoint(750, 502, 1.07788),
    checkpoint(752, 501, 1.05883),
    checkpoint(754, 501, 1.03930),
    checkpoint(756, 500, 1.01953),
    checkpoint(758, 500, 0.99951),
    checkpoint(760, 499, 0.98071),
    checkpoint(762, 499, 0.96289),
    checkpoint(763, 498, 0.94604),
    checkpoint(765, 498, 0.93017),
    checkpoint(767, 497, 0.91528),
    checkpoint(769, 496, 0.90136),
    checkpoint(771, 496, 0.88818),
    checkpoint(773, 495, 0.87573),
    checkpoint(775, 494, 0.86401),
    checkpoint(777, 493, 0.85156),
    checkpoint(779, 492, 0.83837),
    checkpoint(781, 492, 0.82446),
    checkpoint(782, 491, 0.80981),
    checkpoint(784, 490, 0.79467),
    checkpoint(786, 489, 0.77905),
    checkpoint(788, 488, 0.76293),
    checkpoint(790, 487, 0.74633),
    checkpoint(791, 486, 0.72924),
    checkpoint(793, 485, 0.71166),
    checkpoint(795, 483, 0.69360),
    checkpoint(796, 482, 0.67504),
    checkpoint(798, 481, 0.65600),
    checkpoint(800, 480, 0.63647),
    checkpoint(801, 479, 0.61669),
    checkpoint(803, 477, 0.59667),
    checkpoint(805, 476, 0.57641),
    checkpoint(806, 475, 0.55590),
    checkpoint(808, 474, 0.53515),
    checkpoint(809, 472, 0.51416),
    checkpoint(811, 471, 0.49291),
    checkpoint(812, 469, 0.47290),
    checkpoint(814, 468, 0.45410),
    checkpoint(815, 466, 0.43627),
    checkpoint(817, 465, 0.41943),
    checkpoint(818, 463, 0.40356),
    checkpoint(819, 462, 0.38867),
    checkpoint(821, 460, 0.37475),
    checkpoint(822, 459, 0.36157),
    checkpoint(823, 457, 0.34912),
    checkpoint(824, 455, 0.33740),
    checkpoint(826, 454, 0.32641),
    checkpoint(827, 452, 0.31616),
    checkpoint(828, 450, 0.30664),
    checkpoint(829, 449, 0.29760),
    checkpoint(830, 447, 0.28906),
    checkpoint(831, 445, 0.28100),
    checkpoint(832, 443, 0.27343),
    checkpoint(833, 442, 0.26635),
    checkpoint(834, 440, 0.25976),
    checkpoint(835, 438, 0.25366),
    checkpoint(836, 436, 0.24804),
    checkpoint(837, 434, 0.24291),
    checkpoint(838, 433, 0.23828),
    checkpoint(839, 431, 0.23388),
    checkpoint(840, 429, 0.22973),
    checkpoint(841, 427, 0.22583),
    checkpoint(841, 425, 0.22216),
    checkpoint(842, 423, 0.21875),
    checkpoint(843, 421, 0.21557),
    checkpoint(844, 419, 0.21264),
    checkpoint(845, 417, 0.20996),
    checkpoint(845, 415, 0.20751),
    checkpoint(846, 413, 0.20532),
    checkpoint(847, 411, 0.20336),
    checkpoint(848, 409, 0.20166),
    checkpoint(848, 407, 0.20019),
    checkpoint(849, 405, 0.19897),
    checkpoint(850, 403, 0.19799),
    checkpoint(850, 401, 0.19726),
    checkpoint(851, 399, 0.19677),
    checkpoint(851, 397, 0.19653),
    checkpoint(852, 395, 0.19653),
    checkpoint(853, 393, 0.19653),
    checkpoint(853, 391, 0.19653),
    checkpoint(854, 389, 0.19506),
    checkpoint(854, 387, 0.19238),
    checkpoint(855, 385, 0.18847),
    checkpoint(856, 383, 0.18334),
    checkpoint(856, 381, 0.17724),
    checkpoint(857, 379, 0.17016),
    checkpoint(857, 377, 0.16210),
    checkpoint(858, 375, 0.15307),
    checkpoint(858, 373, 0.14306),
    checkpoint(859, 371, 0.13232),
    checkpoint(859, 368, 0.12084),
    checkpoint(860, 366, 0.10864),
    checkpoint(860, 364, 0.09570),
    checkpoint(861, 362, 0.08203),
    checkpoint(861, 360, 0.06762),
    checkpoint(862, 358, 0.05249),
    checkpoint(862, 356, 0.03686),
    checkpoint(862, 354, 0.02075),
    checkpoint(863, 352, 0.00415),
    checkpoint(863, 349, 6.27001),
    checkpoint(863, 347, 6.25244),
    checkpoint(864, 345, 6.23437),
    checkpoint(864, 343, 6.21582),
    checkpoint(864, 341, 6.19677),
    checkpoint(864, 339, 6.17724),
    checkpoint(865, 337, 6.15747),
    checkpoint(865, 335, 6.13745),
    checkpoint(865, 333, 6.11718),
    checkpoint(865, 330, 6.09667),
    checkpoint(865, 328, 6.07592),
    checkpoint(865, 326, 6.05493),
    checkpoint(865, 324, 6.03369),
    checkpoint(865, 322, 6.01220),
    checkpoint(865, 320, 5.99047),
    checkpoint(865, 318, 5.96850),
    checkpoint(865, 316, 5.94628),
    checkpoint(865, 313, 5.92382),
    checkpoint(865, 311, 5.90112),
    checkpoint(865, 309, 5.87817),
    checkpoint(864, 307, 5.85498),
    checkpoint(864, 305, 5.83154),
    checkpoint(864, 303, 5.80786),
    checkpoint(864, 301, 5.78393),
    checkpoint(863, 299, 5.76123),
    checkpoint(863, 297, 5.73974),
    checkpoint(862, 295, 5.71948),
    checkpoint(862, 293, 5.70043),
    checkpoint(861, 291, 5.68237),
    checkpoint(861, 289, 5.66528),
    checkpoint(860, 287, 5.64916),
    checkpoint(860, 285, 5.63403),
    checkpoint(859, 283, 5.61987),
    checkpoint(858, 281, 5.60644),
    checkpoint(857, 279, 5.59375),
    checkpoint(857, 277, 5.58178),
    checkpoint(856, 275, 5.57055),
    checkpoint(855, 273, 5.56005),
    checkpoint(854, 272, 5.55029),
    checkpoint(853, 270, 5.54125),
    checkpoint(852, 268, 5.53271),
    checkpoint(851, 266, 5.52319),
    checkpoint(850, 264, 5.51269),
    checkpoint(849, 262, 5.50146),
    checkpoint(848, 261, 5.48950),
    checkpoint(847, 259, 5.47680),
    checkpoint(846, 257, 5.46337),
    checkpoint(845, 255, 5.44921),
    checkpoint(844, 254, 5.43432),
    checkpoint(843, 252, 5.41894),
    checkpoint(842, 250, 5.40307),
    checkpoint(840, 248, 5.38671),
    checkpoint(839, 247, 5.36987),
    checkpoint(838, 245, 5.35253),
    checkpoint(837, 244, 5.33471),
    checkpoint(835, 242, 5.31640),
    checkpoint(834, 240, 5.29760),
    checkpoint(833, 239, 5.27832),
    checkpoint(831, 237, 5.26000),
    checkpoint(830, 236, 5.24267),
    checkpoint(828, 234, 5.22631),
    checkpoint(827, 233, 5.21093),
    checkpoint(825, 231, 5.19653),
    checkpoint(824, 230, 5.18286),
    checkpoint(822, 229, 5.16992),
    checkpoint(821, 227, 5.15771),
    checkpoint(819, 226, 5.14624),
    checkpoint(818, 224, 5.13549),
    checkpoint(816, 223, 5.12548),
    checkpoint(815, 222, 5.11621),
    checkpoint(813, 221, 5.10742),
    checkpoint(811, 219, 5.09912),
    checkpoint(810, 218, 5.09130),
    checkpoint(808, 217, 5.08398),
    checkpoint(806, 216, 5.07714),
    checkpoint(804, 215, 5.07080),
    checkpoint(803, 213, 5.06494),
    checkpoint(801, 212, 5.05957),
    checkpoint(799, 211, 5.05468),
    checkpoint(797, 210, 5.05029),
    checkpoint(796, 209, 5.04614),
    checkpoint(794, 208, 5.04223),
    checkpoint(792, 207, 5.03857),
    checkpoint(790, 206, 5.03515),
    checkpoint(788, 205, 5.03198),
    checkpoint(786, 204, 5.02905),
    checkpoint(784, 203, 5.02636),
    checkpoint(783, 202, 5.02392),
    checkpoint(781, 201, 5.02172),
    checkpoint(779, 200, 5.01977),
    checkpoint(777, 199, 5.01806),
    checkpoint(775, 199, 5.01660),
    checkpoint(773, 198, 5.01538),
    checkpoint(771, 197, 5.01293),
    checkpoint(769, 196, 5.00927),
    checkpoint(767, 195, 5.00439),
    checkpoint(765, 194, 4.99853),
    checkpoint(763, 193, 4.99169),
    checkpoint(761, 193, 4.98388),
    checkpoint(759, 192, 4.97509),
    checkpoint(757, 191, 4.96533),
    checkpoint(755, 190, 4.95483),
    checkpoint(753, 190, 4.94360),
    checkpoint(751, 189, 4.93164),
    checkpoint(749, 188, 4.92041),
    checkpoint(747, 187, 4.90991),
    checkpoint(745, 187, 4.90014),
    checkpoint(743, 186, 4.89111),
    checkpoint(741, 185, 4.88256),
    checkpoint(739, 185, 4.87451),
    checkpoint(737, 184, 4.86694),
    checkpoint(735, 183, 4.85986),
    checkpoint(733, 183, 4.85327),
    checkpoint(731, 182, 4.84716),
    checkpoint(729, 182, 4.84008),
    checkpoint(727, 181, 4.83203),
    checkpoint(725, 181, 4.82299),
    checkpoint(723, 180, 4.81298),
    checkpoint(721, 180, 4.80224),
    checkpoint(719, 179, 4.79077),
    checkpoint(716, 179, 4.78002),
    checkpoint(714, 178, 4.77001),
    checkpoint(712, 178, 4.76074),
    checkpoint(710, 177, 4.75195),
    checkpoint(708, 177, 4.74365),
    checkpoint(706, 176, 4.73583),
    checkpoint(704, 176, 4.72851),
    checkpoint(702, 176, 4.72167),
    checkpoint(700, 175, 4.71533),
    checkpoint(697, 175, 4.70947),
    checkpoint(695, 175, 4.70410),
    checkpoint(693, 175, 4.69921),
    checkpoint(691, 174, 4.69482),
    checkpoint(689, 174, 4.69067),
    checkpoint(687, 174, 4.68676),
    checkpoint(685, 174, 4.68310),
    checkpoint(683, 173, 4.67968),
    checkpoint(680, 173, 4.67651),
    checkpoint(678, 173, 4.67358),
    checkpoint(676, 173, 4.67089),
    checkpoint(674, 173, 4.66845),
    checkpoint(672, 173, 4.66625),
    checkpoint(670, 172, 4.66430),
    checkpoint(667, 172, 4.66259),
    checkpoint(665, 172, 4.66113),
    checkpoint(663, 172, 4.65991),
    checkpoint(661, 172, 4.65893),
    checkpoint(659, 172, 4.65820),
    checkpoint(657, 172, 4.65771),
    checkpoint(655, 172, 4.65747),
    checkpoint(652, 172, 4.65747),
    checkpoint(650, 172, 4.65747),
    checkpoint(648, 172, 4.65747),
    checkpoint(646, 172, 4.65747),
    checkpoint(644, 172, 4.65747),
    checkpoint(642, 172, 4.65747),
    checkpoint(639, 172, 4.65747),
    checkpoint(637, 172, 4.65747),
    checkpoint(635, 172, 4.65747),
    checkpoint(633, 172, 4.65747),
    checkpoint(631, 172, 4.65747),
    checkpoint(629, 172, 4.65893),
    checkpoint(626, 172, 4.66162),
    checkpoint(624, 172, 4.66552),
    checkpoint(622, 172, 4.67065),
    checkpoint(620, 172, 4.67675),
    checkpoint(618, 172, 4.68383),
    checkpoint(615, 172, 4.69189),
    checkpoint(613, 172, 4.70092),
    checkpoint(611, 172, 4.70947),
    checkpoint(609, 172, 4.71752),
    checkpoint(607, 172, 4.72509),
    checkpoint(605, 172, 4.73217),
    checkpoint(602, 172, 4.73876),
    checkpoint(600, 172, 4.74487),
    checkpoint(598, 172, 4.75048),
    checkpoint(596, 172, 4.75561),
    checkpoint(594, 172, 4.76025),
    checkpoint(592, 172, 4.76464),
    checkpoint(589, 172, 4.76879),
    checkpoint(587, 172, 4.77270),
    checkpoint(585, 172, 4.77636),
    checkpoint(583, 172, 4.77978),
    checkpoint(581, 172, 4.78295),
    checkpoint(578, 172, 4.78588),
    checkpoint(576, 172, 4.78857),
    checkpoint(574, 172, 4.79101),
    checkpoint(572, 172, 4.79321),
    checkpoint(570, 172, 4.79516),
    checkpoint(568, 172, 4.79687),
    checkpoint(565, 172, 4.79833),
    checkpoint(563, 172, 4.79956),
    checkpoint(561, 172, 4.80053),
    checkpoint(559, 171, 4.80126),
    checkpoint(557, 171, 4.80175),
    checkpoint(555, 171, 4.80200),
    checkpoint(552, 171, 4.80053),
    checkpoint(550, 171, 4.79785),
    checkpoint(548, 171, 4.79394),
    checkpoint(546, 171, 4.78881),
    checkpoint(544, 171, 4.78271),
    checkpoint(542, 171, 4.77563),
    checkpoint(539, 170, 4.76904),
    checkpoint(537, 170, 4.76293),
    checkpoint(535, 170, 4.75732),
    checkpoint(533, 170, 4.75219),
    checkpoint(531, 170, 4.74755),
    checkpoint(528, 170, 4.74316),
    checkpoint(526, 170, 4.73901),
    checkpoint(524, 170, 4.73510),
    checkpoint(522, 170, 4.73144),
    checkpoint(520, 170, 4.72802),
    checkpoint(518, 169, 4.72485),
    checkpoint(515, 169, 4.72192),
    checkpoint(513, 169, 4.71923),
    checkpoint(511, 169, 4.71679),
    checkpoint(509, 169, 4.71459),
    checkpoint(507, 169, 4.71264),
    checkpoint(505, 169, 4.71093),
    checkpoint(502, 169, 4.70947),
    checkpoint(500, 169, 4.70825),
    checkpoint(498, 169, 4.70727),
    checkpoint(496, 169, 4.70654),
    checkpoint(494, 169, 4.70605),
    checkpoint(491, 169, 4.70581),
    checkpoint(489, 169, 4.70581),
    checkpoint(487, 169, 4.70581),
    checkpoint(485, 168, 4.70581),
    checkpoint(483, 168, 4.70581),
    checkpoint(481, 168, 4.70581),
    checkpoint(478, 168, 4.70581),
    checkpoint(476, 168, 4.70581),
    checkpoint(474, 168, 4.70581),
    checkpoint(472, 168, 4.70581),
    checkpoint(470, 168, 4.70581),
    checkpoint(467, 168, 4.70581),
    checkpoint(465, 168, 4.70581),
    checkpoint(463, 168, 4.70581),
    checkpoint(461, 168, 4.70581),
    checkpoint(459, 168, 4.70581),
    checkpoint(456, 168, 4.70581),
    checkpoint(454, 168, 4.70581),
    checkpoint(452, 168, 4.70581),
    checkpoint(450, 168, 4.70581),
    checkpoint(448, 168, 4.70581),
    checkpoint(446, 168, 4.70581),
    checkpoint(443, 168, 4.70581),
    checkpoint(441, 168, 4.70581),
    checkpoint(439, 168, 4.70581),
    checkpoint(437, 168, 4.70581),
    checkpoint(435, 168, 4.70581),
    checkpoint(432, 168, 4.70581),
    checkpoint(430, 168, 4.70581),
    checkpoint(428, 168, 4.70581),
    checkpoint(426, 168, 4.70581),
    checkpoint(424, 168, 4.70581),
    checkpoint(421, 168, 4.70581),
    checkpoint(419, 168, 4.70581),
    checkpoint(417, 168, 4.70581),
    checkpoint(415, 168, 4.70581),
    checkpoint(413, 168, 4.70581),
    checkpoint(410, 168, 4.70581),
    checkpoint(408, 168, 4.70581),
    checkpoint(406, 168, 4.70581),
    checkpoint(404, 168, 4.70581),
    checkpoint(402, 168, 4.70581),
    checkpoint(400, 168, 4.70581),
    checkpoint(397, 168, 4.70581),
    checkpoint(395, 168, 4.70581),
    checkpoint(393, 168, 4.70581),
    checkpoint(391, 168, 4.70581),
    checkpoint(389, 168, 4.70581),
    checkpoint(386, 168, 4.70581),
    checkpoint(384, 168, 4.70581),
    checkpoint(382, 168, 4.70581),
    checkpoint(380, 168, 4.70581),
    checkpoint(378, 168, 4.70581),
    checkpoint(375, 168, 4.70581),
    checkpoint(373, 168, 4.70581),
    checkpoint(371, 168, 4.70581),
    checkpoint(369, 168, 4.70434),
    checkpoint(367, 168, 4.70166),
    checkpoint(364, 168, 4.69775),
    checkpoint(362, 168, 4.69262),
    checkpoint(360, 168, 4.68652),
    checkpoint(358, 168, 4.67944),
    checkpoint(356, 168, 4.67138),
    checkpoint(354, 168, 4.66235),
    checkpoint(351, 168, 4.65234),
    checkpoint(349, 168, 4.64160),
    checkpoint(347, 168, 4.63012),
    checkpoint(345, 168, 4.61791),
    checkpoint(343, 168, 4.60498),
    checkpoint(340, 168, 4.59130),
    checkpoint(338, 169, 4.57690),
    checkpoint(336, 169, 4.56176),
    checkpoint(334, 169, 4.54614),
    checkpoint(332, 169, 4.53002),
    checkpoint(330, 169, 4.51342),
    checkpoint(327, 169, 4.49633),
    checkpoint(325, 169, 4.47875),
    checkpoint(323, 170, 4.46069),
    checkpoint(321, 170, 4.44213),
    checkpoint(319, 170, 4.42309),
    checkpoint(317, 170, 4.40356),
    checkpoint(314, 170, 4.38378),
    checkpoint(312, 171, 4.36376),
    checkpoint(310, 171, 4.34350),
    checkpoint(308, 171, 4.32299),
    checkpoint(306, 172, 4.30371),
    checkpoint(304, 172, 4.28540),
    checkpoint(302, 173, 4.26806),
    checkpoint(300, 173, 4.25170),
    checkpoint(298, 173, 4.23632),
    checkpoint(296, 174, 4.22192),
    checkpoint(293, 175, 4.20825),
    checkpoint(291, 175, 4.19531),
    checkpoint(289, 176, 4.18310),
    checkpoint(287, 176, 4.17163),
    checkpoint(285, 177, 4.16088),
    checkpoint(283, 178, 4.15087),
    checkpoint(281, 178, 4.14160),
    checkpoint(279, 179, 4.13281),
    checkpoint(277, 180, 4.12304),
    checkpoint(275, 180, 4.11254),
    checkpoint(273, 181, 4.10131),
    checkpoint(271, 182, 4.08935),
    checkpoint(269, 183, 4.07666),
    checkpoint(267, 184, 4.06323),
    checkpoint(266, 185, 4.04907),
    checkpoint(264, 186, 4.03417),
    checkpoint(262, 186, 4.01879),
    checkpoint(260, 187, 4.00292),
    checkpoint(258, 188, 3.98657),
    checkpoint(256, 189, 3.97119),
    checkpoint(254, 190, 3.95678),
    checkpoint(252, 191, 3.94311),
    checkpoint(251, 193, 3.93017),
    checkpoint(249, 194, 3.91796),
    checkpoint(247, 195, 3.90649),
    checkpoint(245, 196, 3.89575),
    checkpoint(244, 197, 3.88574),
    checkpoint(242, 198, 3.87646),
    checkpoint(240, 199, 3.86767),
    checkpoint(238, 201, 3.85937),
    checkpoint(237, 202, 3.85156),
    checkpoint(235, 203, 3.84423),
    checkpoint(233, 204, 3.83740),
    checkpoint(232, 206, 3.82958),
    checkpoint(230, 207, 3.82080),
    checkpoint(228, 208, 3.81103),
    checkpoint(227, 210, 3.80053),
    checkpoint(225, 211, 3.78930),
    checkpoint(224, 213, 3.77734),
    checkpoint(222, 214, 3.76464),
    checkpoint(220, 216, 3.75122),
    checkpoint(219, 217, 3.73706),
    checkpoint(217, 218, 3.72363),
    checkpoint(216, 220, 3.71093),
    checkpoint(214, 221, 3.69897),
    checkpoint(213, 223, 3.68774),
    checkpoint(212, 225, 3.67724),
    checkpoint(210, 226, 3.66748),
    checkpoint(209, 228, 3.65844),
    checkpoint(207, 229, 3.64990),
    checkpoint(206, 231, 3.64184),
    checkpoint(205, 232, 3.63427),
    checkpoint(203, 234, 3.62719),
    checkpoint(202, 236, 3.62060),
    checkpoint(201, 237, 3.61450),
    checkpoint(199, 239, 3.60888),
    checkpoint(198, 241, 3.60229),
    checkpoint(197, 243, 3.59472),
    checkpoint(196, 244, 3.58618),
    checkpoint(194, 246, 3.57666),
    checkpoint(193, 248, 3.56616),
    checkpoint(192, 249, 3.55493),
    checkpoint(191, 251, 3.54296),
    checkpoint(190, 253, 3.53027),
    checkpoint(189, 255, 3.51684),
    checkpoint(187, 257, 3.50268),
    checkpoint(186, 258, 3.48779),
    checkpoint(185, 260, 3.47387),
    checkpoint(184, 262, 3.46069),
    checkpoint(183, 264, 3.44824),
    checkpoint(182, 266, 3.43652),
    checkpoint(181, 268, 3.42553),
    checkpoint(180, 270, 3.41528),
    checkpoint(179, 271, 3.40576),
    checkpoint(178, 273, 3.39672),
    checkpoint(177, 275, 3.38818),
    checkpoint(176, 277, 3.38012),
    checkpoint(176, 279, 3.37255),
    checkpoint(175, 281, 3.36547),
    checkpoint(174, 283, 3.35742),
    checkpoint(173, 285, 3.34838),
    checkpoint(172, 287, 3.33837),
    checkpoint(171, 289, 3.32763),
    checkpoint(171, 291, 3.31616),
    checkpoint(170, 293, 3.30395),
    checkpoint(169, 295, 3.29248),
    checkpoint(169, 297, 3.28173),
    checkpoint(168, 299, 3.27172),
    checkpoint(167, 301, 3.26245),
    checkpoint(167, 303, 3.25366),
    checkpoint(166, 305, 3.24536),
    checkpoint(165, 307, 3.23754),
    checkpoint(165, 309, 3.23022),
    checkpoint(164, 311, 3.22338),
    checkpoint(164, 313, 3.21704),
    checkpoint(163, 315, 3.21118),
    checkpoint(163, 317, 3.20581),
    checkpoint(162, 319, 3.20092),
    checkpoint(162, 322, 3.19506),
    checkpoint(161, 324, 3.18823),
    checkpoint(161, 326, 3.18041),
    checkpoint(161, 328, 3.17163),
    checkpoint(160, 330, 3.16333),
    checkpoint(160, 332, 3.15551),
    checkpoint(159, 334, 3.14819),
    checkpoint(159, 336, 3.14135),
    checkpoint(159, 338, 3.13500),
    checkpoint(159, 341, 3.12915),
    checkpoint(158, 343, 3.12377),
    checkpoint(158, 345, 3.11889),
    checkpoint(158, 347, 3.11450),
    checkpoint(157, 349, 3.11035),
    checkpoint(157, 351, 3.10644),
    checkpoint(157, 353, 3.10278),
    checkpoint(157, 355, 3.09936),
    checkpoint(157, 358, 3.09619),
    checkpoint(157, 360, 3.09326),
    checkpoint(156, 362, 3.09057),
    checkpoint(156, 364, 3.08813),
    checkpoint(156, 366, 3.08593),
    checkpoint(156, 368, 3.08398),
    checkpoint(156, 370, 3.08227),
    checkpoint(156, 373, 3.08081),
    checkpoint(156, 375, 3.07958),
    checkpoint(156, 377, 3.07861),
    checkpoint(156, 379, 3.07788),
    checkpoint(156, 381, 3.07739),
    checkpoint(156, 383, 3.07714),
    checkpoint(156, 386, 3.07714),
    checkpoint(156, 388, 3.07714),
    checkpoint(156, 390, 3.07714),
    checkpoint(156, 392, 3.07714),
    checkpoint(156, 394, 3.07714),
    checkpoint(156, 396, 3.07714),
    checkpoint(156, 399, 3.07714),
    checkpoint(156, 401, 3.07714),
    checkpoint(156, 403, 3.07714),
    checkpoint(156, 405, 3.07714),
    checkpoint(156, 407, 3.07714),
    checkpoint(156, 409, 3.07714),
    checkpoint(156, 412, 3.07714),
    checkpoint(156, 414, 3.07714),
    checkpoint(156, 416, 3.07714),
    checkpoint(156, 418, 3.07714),
    checkpoint(156, 420, 3.07714),
    checkpoint(156, 422, 3.07714),
    checkpoint(156, 425, 3.07714),
    checkpoint(156, 427, 3.07714),
    checkpoint(156, 429, 3.07714),
    checkpoint(156, 431, 3.07714),
    checkpoint(157, 433, 3.07714),
    checkpoint(157, 435, 3.07714),
    checkpoint(157, 438, 3.07714),
    checkpoint(157, 440, 3.07714),
    checkpoint(157, 442, 3.07714),
    checkpoint(157, 444, 3.07714),
    checkpoint(157, 446, 3.07714),
    checkpoint(157, 449, 3.07714),
    checkpoint(157, 451, 3.07714),
    checkpoint(157, 453, 3.07714),
    checkpoint(157, 455, 3.07714),
    checkpoint(158, 457, 3.07714),
    checkpoint(158, 459, 3.07714),
    checkpoint(158, 462, 3.07861),
    checkpoint(158, 464, 3.08129),
    checkpoint(158, 466, 3.08374),
    checkpoint(158, 468, 3.08593),
    checkpoint(158, 470, 3.08789),
    checkpoint(158, 473, 3.08959),
    checkpoint(158, 475, 3.09106),
    checkpoint(159, 477, 3.09228),
    checkpoint(159, 479, 3.09326),
    checkpoint(159, 481, 3.09399),
    checkpoint(159, 483, 3.09448),
    checkpoint(159, 486, 3.09472),
    checkpoint(159, 488, 3.09472),
    checkpoint(159, 490, 3.09472),
    checkpoint(159, 492, 3.09472),
    checkpoint(159, 494, 3.09472),
    checkpoint(159, 497, 3.09472),
    checkpoint(158, 499, 3.1),
    checkpoint(158, 501, 3.1),
    checkpoint(158, 503, 3.1),
    checkpoint(158, 505, 3.1),
    checkpoint(158, 508, 3.1),
    checkpoint(158, 510, 3.1),
    checkpoint(158, 512, 3.1),
    checkpoint(158, 514, 3.1),
    checkpoint(158, 516, 3.1),
    checkpoint(158, 518, 3.1),
    checkpoint(158, 521, 3.1),
    checkpoint(158, 523, 3.1),
    checkpoint(158, 525, 3.1),
    checkpoint(158, 527, 3.1),
    checkpoint(158, 529, 3.1),
    checkpoint(158, 532, 3.1),
    checkpoint(158, 534, 3.1),
    checkpoint(158, 536, 3.1),
    checkpoint(158, 538, 3.1),
    checkpoint(158, 540, 3.1),
    checkpoint(157, 542, 3.12),
    checkpoint(157, 545, 3.12),
    checkpoint(157, 547, 3.12),
    checkpoint(157, 549, 3.12),
    checkpoint(157, 551, 3.12),
    checkpoint(157, 553, 3.12),
    checkpoint(157, 556, 3.12),
    checkpoint(157, 558, 3.12),
    checkpoint(157, 560, 3.12),
    checkpoint(157, 562, 3.12),
    checkpoint(157, 564, 3.12),
    checkpoint(157, 567, 3.12),
    checkpoint(157, 569, 3.12),
    checkpoint(157, 571, 3.12),
    checkpoint(157, 573, 3.12),
    checkpoint(157, 575, 3.12),
    checkpoint(157, 577, 3.12),
    checkpoint(157, 580, 3.12),
    checkpoint(157, 582, 3.12),
    checkpoint(157, 584, 3.12),
    checkpoint(157, 586, 3.12),
    checkpoint(157, 588, 3.12),
    checkpoint(157, 591, 3.12),
    checkpoint(157, 593, 3.12),
    checkpoint(157, 595, 3.12),
    checkpoint(157, 597, 3.12),
    checkpoint(157, 599, 3.12),
    checkpoint(157, 601, 3.12),
};

}

#endif
